1
Geometria dei Quattro Spazi Fondamentali
MATH004Lesson 4
00:00
I quattro spazi fondamentali di una qualsiasi matrice $A \in \mathbb{R}^{m \times n}$ non esistono in isolamento; sono geometricamente legati a coppie di complementi ortogonali. Questa "architettura ortogonale" è il prerequisito per risolvere sistemi inconsistenti tramite proiezioni e minimi quadrati. Stabiliamo che lo spazio riga $C(A^T)$ è perfettamente perpendicolare allo spazio nullo $N(A)$ in $\mathbb{R}^n$, mentre lo spazio colonna $C(A)$ è perpendicolare allo spazio nullo sinistro $N(A^T)$ in $\mathbb{R}^m$.

Definizioni e Ortogonalità

Per comprendere la struttura di una matrice, dobbiamo innanzitutto definire cosa significa che due sottospazi siano perpendicolari. È una condizione molto più rigorosa della semplice ortogonalità tra vettori.

  • Ortogonalità tra Sottospazi: Due sottospazi $V$ e $W$ di uno spazio vettoriale sono ortogonali se ogni vettore $v$ in $V$ è perpendicolare a ogni vettore $w$ in $W$. Formalmente: $v^T w = 0$ per ogni $v \in V$ e ogni $w \in W$.
  • Il Complemento Ortagonale ($V^\perp$): Il complemento ortogonale di un sottospazio $V$ contiene ogni vettore che è perpendicolare a $V$. È indicato come $V^\perp$ (pronunciato "V perp").

Il Teorema Fondamentale dell'Ortogonalità

L'identità fondamentale dell'algebra lineare collega l'azione della matrice alla geometria dei suoi spazi:

Dimostrazione dello Spazio Righe

Se $x$ appartiene allo spazio nullo $N(A)$, allora $Ax = 0$. Ciò significa che il prodotto scalare di ogni riga di $A$ con $x$ è zero. Poiché lo spazio righe $C(A^T)$ è generato da quelle righe, ogni vettore nello spazio righe deve essere perpendicolare a $x$.

$$x^T(A^T y) = (Ax)^T y = 0^T y = 0$$

Questo porta all'elegante equilibrio delle dimensioni. In $\mathbb{R}^n$, le dimensioni si completano sempre a vicenda: $\dim(C(A^T)) + \dim(N(A)) = n$. Analogamente, in $\mathbb{R}^m$, abbiamo $\dim(C(A)) + \dim(N(A^T)) = m$.

L'Alternativa di Fredholm

Esiste una dualità strutturale tale che esattamente uno di questi problemi abbia una soluzione:

  1. $Ax = b$: Il vettore $b$ appartiene allo spazio colonna.
  2. $A^T y = 0$ con $y^T b = 1$: $b$ ha una componente nello spazio nullo sinistro, rendendo il sistema inconsistente.
🎯 L'Inganno: Due Muri
Due muri in una stanza sembrano perpendicolari, ma NON sono sottospazi ortogonali! Entrambi condividono la linea di incontro. Poiché un vettore su quella linea non è perpendicolare a sé stesso ($v^T v \neq 0$), la definizione rigorosa fallisce. Due piani in $\mathbb{R}^3$ non possono mai essere sottospazi ortogonali.